lower semicontinuity

下半连续性